退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:双向规划中反转变换的有效性检验
Zhenjiang Hu; Hugo Pacheco; Sebastian Fischer;
机译:用于基于双向转换开发结构化文档的可编程编辑器
机译:使用程序转换为JML优化生成的面向方面的断言检查代码:一项实证研究
机译:模型检查和功能程序转换
机译:双向编程中回退转换的有效性检查
机译:通过程序转换对GPU应用程序进行并行化和检查点设置。
机译:评估美国农业营养教育课程中西班牙语参与者食品行为清单的因子和收敛有效性和可靠性
机译:用于“反击”式双向编程的monadic组合器
机译:使用Jacob方法分析含水层测试数据和检查有效性的程序
机译:终端设备,产品保修申请系统,保修申请有效期检查方法和保修申请有效期检查程序
机译:终端设备,产品保证申请系统,确定保证申请有效性的方法以及确定保证申请程序形式的有效性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。